-
1 compatible definability
Большой англо-русский и русско-английский словарь > compatible definability
-
2 compatible definability
Математика: непротиворечивая определимостьУниверсальный англо-русский словарь > compatible definability
-
3 compatible definability
English-Russian scientific dictionary > compatible definability
-
4 definability
combinatorial [combinatory] definability — комбинаторная определимость
-
5 непротиворечивая определимость
Большой англо-русский и русско-английский словарь > непротиворечивая определимость
См. также в других словарях:
Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… … Wikipedia